例句與造句

1. Dijkstra argued that it was impossible to implement unbounded nondeterminism.
2. The Law of Discreteness implies the property of unbounded nondeterminism.
3. The actor model features unbounded nondeterminism which was captured in a mathematical model by Will Clinger using domain theory.
4. Modern, theoretical CSP ( [ Hoare 1985 ] and [ Roscoe 2005 ] ) explicitly provides unbounded nondeterminism.
5. In this way, S can be mathematically characterized in terms of all its possible behaviors ( including those involving unbounded nondeterminism ).
6. It's difficult to find unbounded nondeterminism in a sentence. 用unbounded nondeterminism造句挺難的
7. He further argued that Electronic mail enables unbounded nondeterminism since mail can be stored on servers indefinitely before being delivered, and that Unbounded nondeterminism controversy.
8. He further argued that Electronic mail enables unbounded nondeterminism since mail can be stored on servers indefinitely before being delivered, and that Unbounded nondeterminism controversy.
9. The advantage of portable objects is that they are easy to use and very network-related errors or the unbounded nondeterminism associated with large networks.
10. For example, arbitration introduces unbounded nondeterminism which raises issues with model checking because it causes explosion in the state space and can even cause models to have an infinite number of states.
11. In computer science, "'unbounded nondeterminism "'or "'unbounded indeterminacy "'is a property of denotational semantics of concurrency, and later became part of research into the theoretical concept of hypercomputation.
12. Hewitt [ 2006 ] justified his use of unbounded nondeterminism by arguing that there is no bound that can be placed on how long it takes a computational circuit called an " arbiter " to settle ( see metastability in electronics ).
13. Petri nets and their extensions ( e . g ., coloured Petri nets ) are like actors in that they are based on asynchronous message passing and unbounded nondeterminism, while they are like early CSP in that they define fixed topologies of elementary processing steps ( transitions ) and message repositories ( places ).
14. Dijkstra's model gave rise to a controversy concerning unbounded nondeterminism ( also called " unbounded indeterminacy " ), a property of concurrency by which the amount of delay in servicing a request can become unbounded as a result of arbitration of contention for shared resources " while still guaranteeing that the request will eventually be serviced ".